SIMPLICITY IN COMPACT ABSTRACT THEORIES
نویسندگان
چکیده
منابع مشابه
Positive Model Theory and Compact Abstract Theories
We develop positive model theory, which is a non first order analogue of classical model theory where compactness is kept at the expense of negation. The analogue of a first order theory in this framework is a compact abstract theory: several equivalent yet conceptually different presentations of this notion are given. We prove in particular that Banach and Hilbert spaces are compact abstract t...
متن کاملAbstract DPLL and Abstract DPLL Modulo Theories
DPLL and Abstract DPLL Modulo TheoriesDPLL Modulo Theories Robert Nieuwenhuis, Albert Oliveras, and Cesare Tinelli ?? Abstract. We introduce Abstract DPLL, a general and simple abstract We introduce Abstract DPLL, a general and simple abstract rule-based formulation of the Davis-Putnam-Logemann-Loveland (DPLL) procedure. Its properties, such as soundness, completeness or termination, immediatel...
متن کاملA sufficient condition for super-simplicity of almost-sure theories
In Hill [11], it was shown that an almost-sure theory for a Fraïssé class K relative to an asymptotic probability measure with “independent sampling” is necessarily super-simple of finite rank with D(x=x) = 1. In this note, we show that this independent sampling hypothesis is much stronger than necessary. By examining the Aldous-Hoover-Kallenberg (AHK) presentation of an asymptotic probability ...
متن کاملAbstract simplicity of complete Kac-Moody groups over finite fields
simplicity of complete Kac-Moody groups over finite fields Lisa Carbone Department of Mathematics, Hill Center, Busch Campus, Rutgers, The State University of New Jersey 110 Frelinghuysen Rd Piscataway, NJ 08854-8019 e-mail: [email protected] Mikhail Ershov ∗ School of Mathematics, Institute for Advanced Study 1 Einstein Drive, Princeton, NJ 08540. Current address: University of Virgini...
متن کاملMermin Non-Locality in Abstract Process Theories
The study of non-locality is fundamental to the understanding of quantum mechanics. The past 50 years have seen a number of non-locality proofs, but its fundamental building blocks, and the exact role it plays in quantum protocols, has remained elusive. In this paper, we focus on a particular flavour of non-locality, generalising Mermin’s argument on the GHZ state. Using strongly complementary ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Mathematical Logic
سال: 2003
ISSN: 0219-0613,1793-6691
DOI: 10.1142/s0219061303000297